-
1 атомарная формула
Большой англо-русский и русско-английский словарь > атомарная формула
-
2 atomic expression
-
3 atomic formula
-
4 atomic formula
English-Russian dictionary of computer science > atomic formula
-
5 formula
ˈfɔ:mjulə сущ.
1) формула, формулировка to devise a formula ≈ формулировать a scientific formula ≈ научная формула At the Yalta Conference verbal formulae were found to disguise growing differences between the Russians and the Anglo-Americans. ≈ На Ялтинской конференции были найдены формулировки, позволяющие замаскировать растущие разногласия между Россией с одной стороны и Англией и Америкой - с другой.
2) доктрина, лозунг, догмат the Mohammedan formula of faith ≈ мусульманский догмат веры Syn: slogan, catchword
3) а) рецепт Syn: recipe, prescription б) молочная смесь (для грудных детей) to make up formula, prepare formula ≈ готовить смесь
4) класс гоночного автомобиля the noise of Formula One racing engines ≈ рев двигателей автомобилей Формулы-1 формула - legal * юридическая формула - "sincerely yours" is a * used in letters "искренне ваш" - обычная формула в конце письма - empirical * эмпирическая формула - they sought a * that would allow settling of the dispute они искали формулировку /основу/ для разрешения спора - * weight( химическое) молекулярная масса по формуле соединения - to follow the * описывается формулой рецепт - a * for a cough mixture рецепт на микстуру от кашля - drinking alcohol and driving is a * for trouble( образное) вести машину в состоянии опьянения - это верный способ заработать неприятность молочная смесь (для грудных детей) ;
детская смесь догмат (религии) шаблон, стереотип - * paintings стандартные, шаблонные картины формула или класс (гоночного автомобиля) approximation ~ приближенная формула assumption ~ исходная формула atomic ~ атомарная формула closed ~ замкнутая формула complicated ~ сложная формула cost ~ формула вычисления затрат costing ~ формула расчета себестоимости design ~ расчетная формула empiric ~ эмпирическая формула empirical ~ эмпирическая формула exact ~ точная формула forecast ~ формула для вычисления прогноза forecasting ~ формула для вычисления прогноза formula аналитическое выражение ~ детская смесь ~ лозунг, доктрина ~ рецепт ~ формула (в точных науках) ~ (pl -as, - ае) формула, формулировка ~ формула interpolation ~ интерполяционная формула optimum allocation ~ формула оптимального распределения osculatory ~ степень родства prediction ~ формула для вычисления прогноза ready-made ~ готовая формула recurrent ~ рекуррентная формула short ~ простая формула smoothing ~ формула сглаживания straight-line ~ формула линейной зависимости summation ~ формула суммирования valid ~ общезначимая формула -
6 formula
[ˈfɔ:mjulə]approximation formula приближенная формула assumption formula исходная формула atomic formula атомарная формула closed formula замкнутая формула complicated formula сложная формула cost formula формула вычисления затрат costing formula формула расчета себестоимости design formula расчетная формула empiric formula эмпирическая формула empirical formula эмпирическая формула exact formula точная формула forecast formula формула для вычисления прогноза forecasting formula формула для вычисления прогноза formula аналитическое выражение formula детская смесь formula лозунг, доктрина formula рецепт formula формула (в точных науках) formula (pl -as, - ае) формула, формулировка formula формула interpolation formula интерполяционная формула optimum allocation formula формула оптимального распределения osculatory formula степень родства prediction formula формула для вычисления прогноза ready-made formula готовая формула recurrent formula рекуррентная формула short formula простая формула smoothing formula формула сглаживания straight-line formula формула линейной зависимости summation formula формула суммирования valid formula общезначимая формула -
7 atomic formula
1) Компьютерная техника: атомарная формула2) Геология: структурная формула3) Техника: формула атомного строения4) Математика: элементарная формула5) Нефть: формула строения
См. также в других словарях:
формула — сущ., ж., употр. сравн. часто Морфология: (нет) чего? формулы, чему? формуле, (вижу) что? формулу, чем? формулой, о чём? о формуле; мн. что? формулы, (нет) чего? формул, чему? формулам, (вижу) что? формулы, чем? формулами, о чём? о формулах 1.… … Толковый словарь Дмитриева
Атомарная функция — Атомарная функция[1] финитное решение функционально дифференциального уравнения вида где линейный дифференциальный оператор с постоянными коэффициентами; коэффициенты , причём . Содержание … Википедия
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… … Философская энциклопедия
КОМБИНАТОРНАЯ ЛОГИКА — см. Логика комбинаторная. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970. КОМБИНАТОРНАЯ ЛОГИКА … Философская энциклопедия
Литерал (математическая логика) — У этого термина существуют и другие значения, см. Литерал. В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов: Положительный литерал непосредственно… … Википедия
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ — одна из формулировок предикатов исчисления. Благодаря удобной форме вывода С. и. находит широкое применение в доказательств теории, основаниях математики, при автоматич. поиске вывода. С. и. было предложено Г. Генценом в 1934 (см. [1]). Ниже… … Математическая энциклопедия
Теория приближений — Теория приближений раздел математики, изучающий вопрос о возможности приближенного представления одних математических объектов другими, как правило более простой природы, а также вопросы об оценках вносимой при этом погрешности.… … Википедия
